Removing Requirement Defects and Automating Test
نویسندگان
چکیده
Organizations face many problems that impede rapid development of software systems critical to their operations and growth. This paper discusses model-based development and test automation methods that reduce the time and resources necessary to develop high quality systems. The focus is how organizations have implemented this approach of model-based verification to reduce requirements defects, manual test development effort, and development rework to achieve significant cost and schedule savings.
منابع مشابه
A Discipline of Speci cation - Based Test Derivation
System-level requirements-based testing is an important task in software development, providing evidence that each requirement has been satis ed. There are two major problems with how these tests are derived. First, the notion of coverage is subjective, i.e., there is a lack of objective de nitions of coverage criteria. Second, there is a surprising lack of automation in deriving system-level r...
متن کاملThe Significance of Parental Involvement and Its Components In The Curriculum of Primary Education
Purpose: Nowadays, participation and involvement have attracted serious consideration in all aspects of life, schools of thought, and religions. This issue is more intensely emphasized in education and parental involvement in school curriculum due to their knowledge of the interests and needs of their kids. Methods: the comments and ideas of curriculum experts were collected and analyzed throug...
متن کاملTowards Automated Defect Detection: Object-oriented Modeling of Construction Specifications
This paper describes an ongoing research on the representation and reasoning about construction specifications, which is part of a bigger research project that aims at developing a formalism for automating the identification of deviations and defects on construction sites. We specifically describe the requirements on product and process models and an approach for representing and reasoning abou...
متن کاملApplication of Data Fusion Theory and Support Vector Machine to X-ray Castings Inspection
X-ray inspection is a traditional non-destructive testing method used to thoroughly test industrial parts, such as aluminum castings in the automotive sector. Safety specifications and quality control task are the main focus of the inspection process. Digital image processing, computational intelligence and hardware progress allowed automating this task. While the detection of true defects is t...
متن کاملAn Approach to Automated Model Composition Illustrated in the Context of Design Verification
Building complex systems form models that were developed separately without modifying existing code is a challenging task faced on a regular basis in multiple contexts, for instance, in design verification. To address this issue, this paper presents a new approach for automating the dynamic system model composition. The presented approach aims to maximise information reuse, by defining the mini...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001